Kan injectivity in order-enriched categories
نویسندگان
چکیده
منابع مشابه
Kan injectivity in order-enriched categories
Continuous lattices were characterised by Mart́ın Escardó as precisely the objects that are Kan-injective w.r.t. a certain class of morphisms. We study Kan-injectivity in general categories enriched in posets. An example: ω-CPO’s are precisely the posets that are Kan-injective w.r.t. the embeddings ω →֒ ω + 1 and 0 →֒ 1. For every class H of morphisms we study the subcategory of all objects Kan-in...
متن کاملCategories Enriched over a Quantaloid: Isbell Adjunctions and Kan Adjunctions
Each distributor between categories enriched over a small quantaloid Q gives rise to two adjunctions between the categories of contravariant and covariant presheaves, and hence to two monads. These two adjunctions are respectively generalizations of Isbell adjunctions and Kan extensions in category theory. It is proved that these two processes are functorial with infomorphisms playing as morphi...
متن کاملOn Kan-injectivity of Locales and Spaces
In the category Top0 of T0-spaces and continuous maps, embeddings are just those morphisms with respect to which the Sierpiński space is Kan-injective, and the Kan-injective hull of the Sierpiński space is the category of continuous lattices and maps preserving directed suprema and arbitrary infima. In the category Loc of locales and localic maps, we give an analogous characterization of flat e...
متن کاملConvergence and quantale-enriched categories
Generalising Nachbin's theory of ``topology and order'', in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces with ultrafilter-quantale-enriched categories, and show that the presence of a compact Hausdorff topology guarantees Cauchy completeness and (suitably defined) ...
متن کاملOn Injectivity in Locally Presentable Categories
Classes of objects injective w.r.t. specified morphisms are known to be closed under products and retracts. We prove the converse: a class of objects in a locally presentable category is an injectivity class iff it is closed under products and retracts. This result requires a certain large-cardinal principle. We characterize classes of objects injective w.r.t. a small collection of morphisms: t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2014
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129514000024